41. Extremal methods and systems analysis : an international symposium on the occasion of Professor Abraham Charnes' sixtieth birthday, Austin, Texas, September 13-15, 1977
المؤلف: International Symposium on Extremal Methods and Systems Analysis )7791, University of Texas at Austin(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، System analysis-- Congresses,، Programming )Mathematics(-- Congresses,، Name theory-- Congresses,، Economics, Mathematical-- Congresses,، Charnes, A. )Abraham(, 7191-
رده :
QA
402
.
I57
1977
42. Fixed points : algorithms and applications
المؤلف: International Conference on Computing Fixed Points with Applications, 1st, 4791, Clemson University
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Fixed point theory-- Congresses,، Equations, Simultaneous-- Congresses,، Economics, Mathematical-- Congresses,، Programming )Mathematics(-- Congresses
رده :
QA
329
.
9
.
I57
1974
43. Generalized quantifiers and computation
المؤلف: Jouko Väänänen (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
44. Large-Scale optimization with applications
المؤلف: Lorenz T. Biegler ... ]et al.[
المکتبة: (طهران)
موضوع: Mathematical optimization - Congresses , Programming )Mathematics( - Congresses , Inverse problems )Differential equations( - Congresses , Engineering design - Congresses , Molecular structure - Mathematical models - Congresses
رده :
QA
402
.
5
.
L356
1995
45. Large - Scale perturbations of magnetohydrodynamic regimes
المؤلف: Vladislav Zheligovsky
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع: Mathematical optimization - Congresses,Programming (mathematics) - Congresses,Inverse problems (differential equations) - Congresses,Engineering design - Congresses,Molecular structure - Mathematical models - Congresses
رده :
QA
,
402
.
5
,.
Z54L2
,
2011
46. Large-scale optimization with applications
المؤلف: / Lorenz T. Biegler ... [et al.], editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mathematical optimization- Congresses,Programming (Mathematics)- Congresses,Inverse problems (Differential equations)- Congresses,Engineering design- Congresses,Molecular structure- Mathematical models- Congresses
رده :
QA402
.
5
.
L356
1997
47. Large-scale optimization with applications
پدیدآورنده : Lorenz T. Biegler ... ]et al.[, editors
موضوع : Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,Mathematical models Congresses ، Molecular structure
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
48. Large-scale optimization with applications
المؤلف: Lorenz T. Biegler...]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,، Molecular structure
رده :
QA
402
.
5
.
L3
49. Large-scale optimization with applications
المؤلف: Lorenz T. Biegler...]et al.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Mathematical optimization,Congresses ، Programming )Mathematics(,Congresses ، Inverse problems )Differential equations(,Congresses ، Engineering design,Mathematical models - Congresses ، Molecular structure
رده :
QA
402
.
5
.
L356
1997
50. Logic and computer science
المؤلف: / Edited by Piergiorgio Odifreddi
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming (Mathematics) -- Congresses,Computational complexity -- Congresses
رده :
QA
9
.
L6
1990
51. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
المؤلف: S. Homer ... ]et al.[; editor, P. Odifreddi
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
52. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
المؤلف: S. Homer...]et al.[; editor, P. Odifreddi
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429
53. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical-- Congresses,، Programming )Mathematics(-- Congresses,، Computational complexity-- Congresses
رده :
QA
3
.
L28
no
.
1429
54. Lorge-Scale Optimization with applications
المؤلف: / Lorenz T. Biegler.... [et al]
المکتبة: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع: Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses
رده :
QA
402
.
5
.
L356
1997
55. Lorge-Scale Optimization with applications
المؤلف: / Lorenz T. Biegler.... [et al]
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Mathematical optimization - Congresses,Programming (Mathematics) - Congresses,Inverse Problems (Differential eqvationss - Congresses),Engineering design - Congresses,Molecular structure - Mathematical modles - Congeresses
رده :
QA
402
.
5
.
L356
1997
56. Mathematical foundations of computer science 2012
المؤلف: Branislav Rovan, Vladimiro Sassone, Peter Widmayer (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
S96
2012eb
57. Mathematical foundations of computer science 2013 :
المؤلف: Krishnendu Chatterjee, Jirí Sgall, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
58. Mathematical foundations of computer science 2008
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algorithms ; Congresses. ; Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Machine theory ; Congresses. ;
59. Mathematical foundations of computer science 200
المؤلف: / Edward Ochmaanski, Jerzy Tyszkiewicz (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics--Congresses,Computer programming--Congresses,Algorithms--Congresses,Computable functions--Congresses,Machine theory--Congresses
60. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings
المؤلف: M. Main...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
298
